$\forall$$x$, $y$:$\mathbb{Z}$. ($x$ + $y$) $\sim$ ($x$+$y$)